node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
link(1,3) :- #0.427.
link(3,1) :- #0.293.
link(1,20) :- #0.189.
link(20,1) :- #0.552.
link(1,42) :- #0.1.
link(42,1) :- #0.324.
link(1,66) :- #0.093.
link(66,1) :- #0.816.
link(1,68) :- #0.571.
link(68,1) :- #0.774.
link(1,69) :- #0.103.
link(69,1) :- #0.714.
link(1,79) :- #0.164.
link(79,1) :- #0.103.
link(1,81) :- #0.301.
link(81,1) :- #0.135.
link(1,106) :- #0.253.
link(106,1) :- #0.608.
link(1,116) :- #0.593.
link(116,1) :- #0.966.
link(2,22) :- #0.886.
link(22,2) :- #0.332.
link(2,23) :- #0.043.
link(23,2) :- #0.882.
link(2,24) :- #0.028.
link(24,2) :- #0.67.
link(2,27) :- #0.176.
link(27,2) :- #0.561.
link(2,43) :- #0.277.
link(43,2) :- #0.433.
link(2,52) :- #0.079.
link(52,2) :- #0.259.
link(2,70) :- #0.987.
link(70,2) :- #0.993.
link(2,72) :- #0.608.
link(72,2) :- #0.96.
link(2,76) :- #0.023.
link(76,2) :- #0.352.
link(2,78) :- #0.291.
link(78,2) :- #0.006.
link(2,80) :- #0.328.
link(80,2) :- #0.422.
link(2,87) :- #0.986.
link(87,2) :- #0.073.
link(2,98) :- #0.239.
link(98,2) :- #0.941.
link(2,105) :- #0.117.
link(105,2) :- #0.095.
link(2,106) :- #0.014.
link(106,2) :- #0.376.
link(2,122) :- #0.552.
link(122,2) :- #0.675.
link(3,21) :- #0.407.
link(21,3) :- #0.118.
link(3,31) :- #0.101.
link(31,3) :- #0.167.
link(3,46) :- #0.63.
link(46,3) :- #0.688.
link(3,65) :- #0.991.
link(65,3) :- #0.926.
link(3,82) :- #0.681.
link(82,3) :- #0.564.
link(3,85) :- #0.02.
link(85,3) :- #0.737.
link(3,111) :- #0.53.
link(111,3) :- #0.212.
link(3,119) :- #0.648.
link(119,3) :- #0.668.
link(3,127) :- #0.939.
link(127,3) :- #0.928.
link(3,128) :- #0.902.
link(128,3) :- #0.086.
link(3,129) :- #0.816.
link(129,3) :- #0.931.
link(4,12) :- #0.414.
link(12,4) :- #0.379.
link(4,26) :- #0.885.
link(26,4) :- #0.565.
link(4,31) :- #0.269.
link(31,4) :- #0.605.
link(4,43) :- #0.502.
link(43,4) :- #0.572.
link(4,99) :- #0.98.
link(99,4) :- #0.478.
link(4,112) :- #0.456.
link(112,4) :- #0.643.
link(4,119) :- #0.104.
link(119,4) :- #0.303.
link(4,125) :- #0.486.
link(125,4) :- #0.326.
link(4,129) :- #0.798.
link(129,4) :- #0.943.
link(5,9) :- #0.611.
link(9,5) :- #0.037.
link(5,13) :- #0.365.
link(13,5) :- #0.114.
link(5,17) :- #0.571.
link(17,5) :- #0.131.
link(5,28) :- #0.347.
link(28,5) :- #0.073.
link(5,31) :- #0.278.
link(31,5) :- #0.833.
link(5,42) :- #0.357.
link(42,5) :- #0.626.
link(5,53) :- #0.83.
link(53,5) :- #0.112.
link(5,76) :- #0.266.
link(76,5) :- #0.563.
link(5,83) :- #0.879.
link(83,5) :- #0.382.
link(5,104) :- #0.899.
link(104,5) :- #0.871.
link(6,15) :- #0.096.
link(15,6) :- #0.203.
link(6,16) :- #0.46.
link(16,6) :- #0.995.
link(6,22) :- #0.393.
link(22,6) :- #0.816.
link(6,25) :- #0.03.
link(25,6) :- #0.832.
link(6,48) :- #0.185.
link(48,6) :- #0.668.
link(6,56) :- #0.588.
link(56,6) :- #0.242.
link(6,62) :- #0.345.
link(62,6) :- #0.644.
link(6,63) :- #0.943.
link(63,6) :- #0.421.
link(6,66) :- #0.747.
link(66,6) :- #0.24.
link(6,77) :- #0.198.
link(77,6) :- #0.274.
link(6,84) :- #0.48.
link(84,6) :- #0.545.
link(6,100) :- #0.932.
link(100,6) :- #0.764.
link(6,106) :- #0.336.
link(106,6) :- #0.848.
link(6,108) :- #0.363.
link(108,6) :- #0.325.
link(6,121) :- #0.109.
link(121,6) :- #0.762.
link(7,30) :- #0.422.
link(30,7) :- #0.777.
link(7,50) :- #0.327.
link(50,7) :- #0.456.
link(7,63) :- #0.875.
link(63,7) :- #0.425.
link(7,74) :- #0.291.
link(74,7) :- #0.57.
link(7,113) :- #0.546.
link(113,7) :- #0.176.
link(8,20) :- #0.849.
link(20,8) :- #0.371.
link(8,36) :- #0.922.
link(36,8) :- #0.846.
link(8,98) :- #0.094.
link(98,8) :- #0.113.
link(8,105) :- #0.334.
link(105,8) :- #0.25.
link(8,106) :- #0.755.
link(106,8) :- #0.482.
link(8,114) :- #0.726.
link(114,8) :- #0.088.
link(8,130) :- #0.11.
link(130,8) :- #0.561.
link(9,25) :- #0.283.
link(25,9) :- #0.983.
link(9,26) :- #0.989.
link(26,9) :- #0.285.
link(9,31) :- #0.764.
link(31,9) :- #0.673.
link(9,51) :- #0.337.
link(51,9) :- #0.931.
link(9,53) :- #0.989.
link(53,9) :- #0.33.
link(9,55) :- #0.379.
link(55,9) :- #0.219.
link(9,63) :- #0.074.
link(63,9) :- #0.144.
link(9,64) :- #0.279.
link(64,9) :- #0.089.
link(9,81) :- #0.547.
link(81,9) :- #0.776.
link(9,98) :- #0.038.
link(98,9) :- #0.803.
link(9,104) :- #0.623.
link(104,9) :- #0.354.
link(9,120) :- #0.818.
link(120,9) :- #0.458.
link(9,123) :- #0.643.
link(123,9) :- #0.616.
link(10,20) :- #0.048.
link(20,10) :- #0.285.
link(10,34) :- #0.871.
link(34,10) :- #0.35.
link(10,37) :- #0.046.
link(37,10) :- #0.665.
link(10,40) :- #0.604.
link(40,10) :- #0.735.
link(10,57) :- #0.04.
link(57,10) :- #0.038.
link(10,66) :- #0.484.
link(66,10) :- #0.878.
link(10,72) :- #0.686.
link(72,10) :- #0.919.
link(10,77) :- #0.185.
link(77,10) :- #0.066.
link(10,94) :- #0.615.
link(94,10) :- #0.738.
link(10,95) :- #0.592.
link(95,10) :- #0.836.
link(10,108) :- #0.203.
link(108,10) :- #0.236.
link(10,116) :- #0.554.
link(116,10) :- #0.326.
link(10,119) :- #0.293.
link(119,10) :- #0.431.
link(11,33) :- #0.146.
link(33,11) :- #0.788.
link(11,41) :- #0.994.
link(41,11) :- #0.665.
link(11,70) :- #0.756.
link(70,11) :- #0.043.
link(11,107) :- #0.807.
link(107,11) :- #0.964.
link(11,129) :- #0.665.
link(129,11) :- #0.002.
link(12,23) :- #0.258.
link(23,12) :- #0.631.
link(12,25) :- #0.895.
link(25,12) :- #0.405.
link(12,29) :- #0.137.
link(29,12) :- #0.893.
link(12,44) :- #0.142.
link(44,12) :- #0.33.
link(12,48) :- #0.315.
link(48,12) :- #0.09.
link(12,60) :- #0.464.
link(60,12) :- #0.941.
link(12,62) :- #0.619.
link(62,12) :- #0.901.
link(12,90) :- #0.915.
link(90,12) :- #0.659.
link(12,106) :- #0.139.
link(106,12) :- #0.666.
link(12,119) :- #0.477.
link(119,12) :- #0.604.
link(13,16) :- #0.822.
link(16,13) :- #0.965.
link(13,29) :- #0.125.
link(29,13) :- #0.592.
link(13,42) :- #0.839.
link(42,13) :- #0.172.
link(13,53) :- #0.576.
link(53,13) :- #0.374.
link(13,63) :- #0.681.
link(63,13) :- #0.009.
link(13,82) :- #0.712.
link(82,13) :- #0.462.
link(13,87) :- #0.657.
link(87,13) :- #0.88.
link(13,88) :- #0.843.
link(88,13) :- #0.137.
link(13,97) :- #0.529.
link(97,13) :- #0.513.
link(13,111) :- #0.028.
link(111,13) :- #0.811.
link(13,114) :- #0.821.
link(114,13) :- #0.719.
link(13,116) :- #0.829.
link(116,13) :- #0.187.
link(14,15) :- #0.256.
link(15,14) :- #0.645.
link(14,17) :- #0.797.
link(17,14) :- #0.951.
link(14,19) :- #0.221.
link(19,14) :- #0.137.
link(14,28) :- #0.24.
link(28,14) :- #0.4.
link(14,79) :- #0.833.
link(79,14) :- #0.756.
link(14,85) :- #0.594.
link(85,14) :- #0.3.
link(14,87) :- #0.497.
link(87,14) :- #0.687.
link(14,95) :- #0.767.
link(95,14) :- #0.802.
link(14,100) :- #0.799.
link(100,14) :- #0.747.
link(14,104) :- #0.972.
link(104,14) :- #0.785.
link(14,110) :- #0.539.
link(110,14) :- #0.559.
link(14,124) :- #0.815.
link(124,14) :- #0.993.
link(14,125) :- #0.154.
link(125,14) :- #0.652.
link(15,32) :- #0.105.
link(32,15) :- #0.681.
link(15,35) :- #0.828.
link(35,15) :- #0.154.
link(15,59) :- #0.241.
link(59,15) :- #0.64.
link(15,67) :- #0.259.
link(67,15) :- #0.001.
link(15,78) :- #0.134.
link(78,15) :- #0.961.
link(15,90) :- #0.307.
link(90,15) :- #0.505.
link(15,101) :- #0.768.
link(101,15) :- #0.046.
link(15,102) :- #0.013.
link(102,15) :- #0.943.
link(15,109) :- #0.388.
link(109,15) :- #0.361.
link(15,117) :- #0.678.
link(117,15) :- #0.806.
link(15,129) :- #0.463.
link(129,15) :- #0.627.
link(16,30) :- #0.545.
link(30,16) :- #0.885.
link(16,39) :- #0.34.
link(39,16) :- #0.104.
link(16,41) :- #0.101.
link(41,16) :- #0.583.
link(16,42) :- #0.472.
link(42,16) :- #0.972.
link(16,52) :- #0.127.
link(52,16) :- #0.37.
link(16,60) :- #0.432.
link(60,16) :- #0.463.
link(16,69) :- #0.302.
link(69,16) :- #0.03.
link(16,71) :- #0.272.
link(71,16) :- #0.047.
link(16,77) :- #0.827.
link(77,16) :- #0.263.
link(16,93) :- #0.879.
link(93,16) :- #0.128.
link(16,101) :- #0.982.
link(101,16) :- #0.911.
link(16,103) :- #0.844.
link(103,16) :- #0.037.
link(16,106) :- #0.652.
link(106,16) :- #0.865.
link(16,122) :- #0.209.
link(122,16) :- #0.619.
link(16,128) :- #0.253.
link(128,16) :- #0.956.
link(17,27) :- #0.484.
link(27,17) :- #0.229.
link(17,30) :- #0.61.
link(30,17) :- #0.433.
link(17,61) :- #0.533.
link(61,17) :- #0.856.
link(17,67) :- #0.544.
link(67,17) :- #0.1.
link(17,85) :- #0.481.
link(85,17) :- #0.363.
link(17,88) :- #0.125.
link(88,17) :- #0.75.
link(17,89) :- #0.507.
link(89,17) :- #0.352.
link(17,91) :- #0.059.
link(91,17) :- #0.059.
link(17,104) :- #0.499.
link(104,17) :- #0.84.
link(17,105) :- #0.745.
link(105,17) :- #0.787.
link(17,112) :- #0.517.
link(112,17) :- #0.386.
link(17,115) :- #0.385.
link(115,17) :- #0.672.
link(17,123) :- #0.32.
link(123,17) :- #0.255.
link(17,124) :- #0.904.
link(124,17) :- #0.214.
link(18,38) :- #0.883.
link(38,18) :- #0.961.
link(18,61) :- #0.311.
link(61,18) :- #0.152.
link(18,62) :- #0.531.
link(62,18) :- #0.771.
link(18,64) :- #0.808.
link(64,18) :- #0.503.
link(18,70) :- #0.769.
link(70,18) :- #0.298.
link(18,74) :- #0.259.
link(74,18) :- #0.91.
link(18,78) :- #0.859.
link(78,18) :- #0.963.
link(18,86) :- #0.157.
link(86,18) :- #0.626.
link(18,96) :- #0.048.
link(96,18) :- #0.12.
link(18,108) :- #0.987.
link(108,18) :- #0.881.
link(18,109) :- #0.128.
link(109,18) :- #0.885.
link(18,110) :- #0.527.
link(110,18) :- #0.915.
link(18,112) :- #0.583.
link(112,18) :- #0.003.
link(18,118) :- #0.372.
link(118,18) :- #0.34.
link(18,122) :- #0.198.
link(122,18) :- #0.289.
link(18,125) :- #0.702.
link(125,18) :- #0.45.
link(19,20) :- #0.28.
link(20,19) :- #0.62.
link(19,27) :- #0.167.
link(27,19) :- #0.068.
link(19,29) :- #0.868.
link(29,19) :- #0.12.
link(19,46) :- #0.167.
link(46,19) :- #0.488.
link(19,62) :- #0.757.
link(62,19) :- #0.801.
link(19,67) :- #0.589.
link(67,19) :- #0.321.
link(19,69) :- #0.416.
link(69,19) :- #0.627.
link(19,72) :- #0.243.
link(72,19) :- #0.808.
link(19,80) :- #0.69.
link(80,19) :- #0.946.
link(19,93) :- #0.47.
link(93,19) :- #0.486.
link(19,100) :- #0.364.
link(100,19) :- #0.703.
link(19,115) :- #0.076.
link(115,19) :- #0.537.
link(20,42) :- #0.739.
link(42,20) :- #0.468.
link(20,43) :- #0.51.
link(43,20) :- #0.479.
link(20,46) :- #0.071.
link(46,20) :- #0.353.
link(20,66) :- #0.813.
link(66,20) :- #0.969.
link(20,67) :- #0.419.
link(67,20) :- #0.642.
link(20,75) :- #0.835.
link(75,20) :- #0.933.
link(20,84) :- #0.
link(84,20) :- #0.491.
link(20,97) :- #0.784.
link(97,20) :- #0.124.
link(20,103) :- #0.475.
link(103,20) :- #0.437.
link(20,104) :- #0.681.
link(104,20) :- #0.943.
link(20,106) :- #0.816.
link(106,20) :- #0.67.
link(20,112) :- #0.47.
link(112,20) :- #0.311.
link(20,120) :- #0.112.
link(120,20) :- #0.641.
link(21,25) :- #0.527.
link(25,21) :- #0.694.
link(21,26) :- #0.013.
link(26,21) :- #0.666.
link(21,34) :- #0.362.
link(34,21) :- #0.771.
link(21,39) :- #0.893.
link(39,21) :- #0.893.
link(21,50) :- #0.406.
link(50,21) :- #0.611.
link(21,70) :- #0.43.
link(70,21) :- #0.298.
link(21,73) :- #0.538.
link(73,21) :- #0.522.
link(21,84) :- #0.238.
link(84,21) :- #0.009.
link(21,85) :- #0.448.
link(85,21) :- #0.731.
link(21,86) :- #0.835.
link(86,21) :- #0.319.
link(21,104) :- #0.949.
link(104,21) :- #0.921.
link(21,110) :- #0.264.
link(110,21) :- #0.342.
link(21,116) :- #0.915.
link(116,21) :- #0.926.
link(21,128) :- #0.753.
link(128,21) :- #0.628.
link(21,129) :- #0.96.
link(129,21) :- #0.095.
link(21,130) :- #0.09.
link(130,21) :- #0.795.
link(22,33) :- #0.15.
link(33,22) :- #0.214.
link(22,51) :- #0.83.
link(51,22) :- #0.657.
link(22,53) :- #0.623.
link(53,22) :- #0.282.
link(22,78) :- #0.873.
link(78,22) :- #0.472.
link(22,87) :- #0.864.
link(87,22) :- #0.867.
link(22,107) :- #0.329.
link(107,22) :- #0.231.
link(22,108) :- #0.555.
link(108,22) :- #0.389.
link(22,113) :- #0.553.
link(113,22) :- #0.924.
link(22,124) :- #0.142.
link(124,22) :- #0.227.
link(23,27) :- #0.828.
link(27,23) :- #0.843.
link(23,36) :- #0.049.
link(36,23) :- #0.487.
link(23,59) :- #0.71.
link(59,23) :- #0.377.
link(23,61) :- #0.414.
link(61,23) :- #0.147.
link(23,67) :- #0.739.
link(67,23) :- #0.845.
link(23,72) :- #0.221.
link(72,23) :- #0.798.
link(23,89) :- #0.971.
link(89,23) :- #0.33.
link(23,90) :- #0.355.
link(90,23) :- #0.757.
link(23,93) :- #0.094.
link(93,23) :- #0.718.
link(23,101) :- #0.581.
link(101,23) :- #0.721.
link(23,113) :- #0.155.
link(113,23) :- #0.456.
link(24,25) :- #0.373.
link(25,24) :- #0.825.
link(24,27) :- #0.923.
link(27,24) :- #0.218.
link(24,37) :- #0.411.
link(37,24) :- #0.81.
link(24,68) :- #0.683.
link(68,24) :- #0.76.
link(24,72) :- #0.896.
link(72,24) :- #0.305.
link(24,79) :- #0.627.
link(79,24) :- #0.924.
link(24,93) :- #0.727.
link(93,24) :- #0.217.
link(24,102) :- #0.834.
link(102,24) :- #0.557.
link(24,120) :- #0.14.
link(120,24) :- #0.821.
link(24,127) :- #0.002.
link(127,24) :- #0.43.
link(24,128) :- #0.395.
link(128,24) :- #0.987.
link(25,34) :- #0.082.
link(34,25) :- #0.959.
link(25,43) :- #0.432.
link(43,25) :- #0.723.
link(25,45) :- #0.936.
link(45,25) :- #0.157.
link(25,60) :- #0.182.
link(60,25) :- #0.799.
link(25,61) :- #0.136.
link(61,25) :- #0.177.
link(25,64) :- #0.437.
link(64,25) :- #0.037.
link(25,98) :- #0.356.
link(98,25) :- #0.596.
link(25,101) :- #0.153.
link(101,25) :- #0.166.
link(25,120) :- #0.254.
link(120,25) :- #0.159.
link(26,36) :- #0.83.
link(36,26) :- #0.123.
link(26,37) :- #0.693.
link(37,26) :- #0.58.
link(26,42) :- #0.821.
link(42,26) :- #0.867.
link(26,49) :- #0.076.
link(49,26) :- #0.785.
link(26,60) :- #0.071.
link(60,26) :- #0.074.
link(26,70) :- #0.004.
link(70,26) :- #0.045.
link(26,86) :- #0.904.
link(86,26) :- #0.396.
link(26,91) :- #0.554.
link(91,26) :- #0.066.
link(26,98) :- #0.914.
link(98,26) :- #0.953.
link(26,109) :- #0.891.
link(109,26) :- #0.632.
link(26,117) :- #0.356.
link(117,26) :- #0.489.
link(26,119) :- #0.463.
link(119,26) :- #0.597.
link(26,121) :- #0.22.
link(121,26) :- #0.755.
link(26,123) :- #0.526.
link(123,26) :- #0.382.
link(26,128) :- #0.609.
link(128,26) :- #0.414.
link(27,32) :- #0.677.
link(32,27) :- #0.803.
link(27,39) :- #0.454.
link(39,27) :- #0.588.
link(27,42) :- #0.421.
link(42,27) :- #0.742.
link(27,44) :- #0.567.
link(44,27) :- #0.513.
link(27,50) :- #0.592.
link(50,27) :- #0.351.
link(27,64) :- #0.958.
link(64,27) :- #0.939.
link(27,81) :- #0.069.
link(81,27) :- #0.05.
link(27,91) :- #0.983.
link(91,27) :- #0.682.
link(27,106) :- #0.08.
link(106,27) :- #0.48.
link(27,117) :- #0.741.
link(117,27) :- #0.044.
link(27,120) :- #0.197.
link(120,27) :- #0.708.
link(27,123) :- #0.289.
link(123,27) :- #0.854.
link(27,128) :- #0.906.
link(128,27) :- #0.904.
link(28,40) :- #0.041.
link(40,28) :- #0.337.
link(28,43) :- #0.2.
link(43,28) :- #0.269.
link(28,68) :- #0.809.
link(68,28) :- #0.28.
link(28,92) :- #0.809.
link(92,28) :- #0.34.
link(28,93) :- #0.38.
link(93,28) :- #0.641.
link(28,95) :- #0.237.
link(95,28) :- #0.736.
link(28,96) :- #0.575.
link(96,28) :- #0.375.
link(28,107) :- #0.337.
link(107,28) :- #0.732.
link(28,127) :- #0.164.
link(127,28) :- #0.307.
link(29,31) :- #0.618.
link(31,29) :- #0.491.
link(29,33) :- #0.621.
link(33,29) :- #0.18.
link(29,39) :- #0.096.
link(39,29) :- #0.678.
link(29,53) :- #0.14.
link(53,29) :- #0.737.
link(29,58) :- #0.33.
link(58,29) :- #0.392.
link(29,61) :- #0.723.
link(61,29) :- #0.007.
link(29,64) :- #0.288.
link(64,29) :- #0.627.
link(29,69) :- #0.19.
link(69,29) :- #0.855.
link(29,81) :- #0.006.
link(81,29) :- #0.734.
link(29,90) :- #0.05.
link(90,29) :- #0.701.
link(29,93) :- #0.277.
link(93,29) :- #0.965.
link(29,123) :- #0.994.
link(123,29) :- #0.863.
link(29,127) :- #0.195.
link(127,29) :- #0.988.
link(30,35) :- #0.073.
link(35,30) :- #0.035.
link(30,41) :- #0.458.
link(41,30) :- #0.172.
link(30,54) :- #0.089.
link(54,30) :- #0.31.
link(30,55) :- #0.531.
link(55,30) :- #0.441.
link(30,57) :- #0.379.
link(57,30) :- #0.159.
link(30,64) :- #0.886.
link(64,30) :- #0.88.
link(30,89) :- #0.705.
link(89,30) :- #0.865.
link(30,123) :- #0.275.
link(123,30) :- #0.129.
link(30,129) :- #0.772.
link(129,30) :- #0.697.
link(31,33) :- #0.965.
link(33,31) :- #0.804.
link(31,53) :- #0.574.
link(53,31) :- #0.392.
link(31,61) :- #0.776.
link(61,31) :- #0.732.
link(31,70) :- #0.114.
link(70,31) :- #0.023.
link(31,96) :- #0.99.
link(96,31) :- #0.172.
link(31,98) :- #0.571.
link(98,31) :- #0.897.
link(31,99) :- #0.553.
link(99,31) :- #0.449.
link(31,113) :- #0.918.
link(113,31) :- #0.519.
link(31,125) :- #0.486.
link(125,31) :- #0.54.
link(31,126) :- #0.671.
link(126,31) :- #0.654.
link(31,129) :- #0.108.
link(129,31) :- #0.181.
link(31,130) :- #0.618.
link(130,31) :- #0.086.
link(32,37) :- #0.114.
link(37,32) :- #0.57.
link(32,38) :- #0.191.
link(38,32) :- #0.368.
link(32,42) :- #0.042.
link(42,32) :- #0.779.
link(32,65) :- #0.76.
link(65,32) :- #0.028.
link(32,77) :- #0.354.
link(77,32) :- #0.668.
link(32,79) :- #0.709.
link(79,32) :- #0.521.
link(32,88) :- #0.761.
link(88,32) :- #0.496.
link(32,97) :- #0.118.
link(97,32) :- #0.456.
link(32,105) :- #0.32.
link(105,32) :- #0.155.
link(32,119) :- #0.367.
link(119,32) :- #0.182.
link(32,121) :- #0.843.
link(121,32) :- #0.245.
link(32,126) :- #0.885.
link(126,32) :- #0.773.
link(33,44) :- #0.831.
link(44,33) :- #0.986.
link(33,69) :- #0.477.
link(69,33) :- #0.385.
link(33,78) :- #0.154.
link(78,33) :- #0.734.
link(33,80) :- #0.613.
link(80,33) :- #0.392.
link(33,95) :- #0.286.
link(95,33) :- #0.913.
link(33,107) :- #0.509.
link(107,33) :- #0.88.
link(33,111) :- #0.911.
link(111,33) :- #0.067.
link(33,115) :- #0.57.
link(115,33) :- #0.802.
link(33,124) :- #0.013.
link(124,33) :- #0.385.
link(33,127) :- #0.527.
link(127,33) :- #0.493.
link(34,41) :- #0.204.
link(41,34) :- #0.927.
link(34,45) :- #0.518.
link(45,34) :- #0.274.
link(34,54) :- #0.461.
link(54,34) :- #0.38.
link(34,56) :- #0.148.
link(56,34) :- #0.515.
link(34,65) :- #0.926.
link(65,34) :- #0.045.
link(34,80) :- #0.712.
link(80,34) :- #0.005.
link(34,83) :- #0.068.
link(83,34) :- #0.872.
link(34,92) :- #0.867.
link(92,34) :- #0.599.
link(34,107) :- #0.67.
link(107,34) :- #0.246.
link(34,113) :- #0.062.
link(113,34) :- #0.242.
link(34,115) :- #0.629.
link(115,34) :- #0.597.
link(34,117) :- #0.43.
link(117,34) :- #0.378.
link(34,119) :- #0.92.
link(119,34) :- #0.001.
link(35,56) :- #0.026.
link(56,35) :- #0.995.
link(35,60) :- #0.772.
link(60,35) :- #0.312.
link(35,72) :- #0.528.
link(72,35) :- #0.596.
link(35,106) :- #0.778.
link(106,35) :- #0.09.
link(36,39) :- #0.756.
link(39,36) :- #0.281.
link(36,57) :- #0.463.
link(57,36) :- #0.805.
link(36,89) :- #0.694.
link(89,36) :- #0.91.
link(36,95) :- #0.538.
link(95,36) :- #0.663.
link(36,102) :- #0.428.
link(102,36) :- #0.416.
link(36,103) :- #0.539.
link(103,36) :- #0.492.
link(36,105) :- #0.747.
link(105,36) :- #0.602.
link(36,120) :- #0.663.
link(120,36) :- #0.716.
link(36,123) :- #0.493.
link(123,36) :- #0.809.
link(36,125) :- #0.904.
link(125,36) :- #0.568.
link(36,126) :- #0.502.
link(126,36) :- #0.395.
link(37,50) :- #0.096.
link(50,37) :- #0.768.
link(37,52) :- #0.784.
link(52,37) :- #0.861.
link(37,54) :- #0.416.
link(54,37) :- #0.299.
link(37,63) :- #0.754.
link(63,37) :- #0.226.
link(37,69) :- #0.388.
link(69,37) :- #0.302.
link(37,103) :- #0.046.
link(103,37) :- #0.021.
link(37,107) :- #0.442.
link(107,37) :- #0.273.
link(37,108) :- #0.743.
link(108,37) :- #0.295.
link(38,62) :- #0.821.
link(62,38) :- #0.366.
link(38,74) :- #0.444.
link(74,38) :- #0.799.
link(38,83) :- #0.741.
link(83,38) :- #0.081.
link(38,84) :- #0.398.
link(84,38) :- #0.994.
link(38,107) :- #0.565.
link(107,38) :- #0.566.
link(38,111) :- #0.063.
link(111,38) :- #0.555.
link(38,121) :- #0.639.
link(121,38) :- #0.192.
link(38,124) :- #0.659.
link(124,38) :- #0.308.
link(39,60) :- #0.915.
link(60,39) :- #0.594.
link(39,67) :- #0.246.
link(67,39) :- #0.163.
link(39,99) :- #0.417.
link(99,39) :- #0.526.
link(39,127) :- #0.104.
link(127,39) :- #0.132.
link(40,56) :- #0.837.
link(56,40) :- #0.317.
link(40,65) :- #0.811.
link(65,40) :- #0.245.
link(40,115) :- #0.466.
link(115,40) :- #0.555.
link(41,69) :- #0.91.
link(69,41) :- #0.511.
link(41,72) :- #0.347.
link(72,41) :- #0.418.
link(41,79) :- #0.909.
link(79,41) :- #0.529.
link(41,81) :- #0.026.
link(81,41) :- #0.597.
link(41,84) :- #0.896.
link(84,41) :- #0.212.
link(41,91) :- #0.765.
link(91,41) :- #0.571.
link(41,112) :- #0.255.
link(112,41) :- #0.008.
link(41,113) :- #0.293.
link(113,41) :- #0.316.
link(42,60) :- #0.055.
link(60,42) :- #0.179.
link(42,64) :- #0.506.
link(64,42) :- #0.091.
link(42,71) :- #0.993.
link(71,42) :- #0.032.
link(42,75) :- #0.217.
link(75,42) :- #0.369.
link(42,77) :- #0.477.
link(77,42) :- #0.36.
link(42,89) :- #0.851.
link(89,42) :- #0.112.
link(42,94) :- #0.261.
link(94,42) :- #0.137.
link(42,102) :- #0.616.
link(102,42) :- #0.56.
link(42,111) :- #0.044.
link(111,42) :- #0.129.
link(42,114) :- #0.123.
link(114,42) :- #0.345.
link(42,126) :- #0.848.
link(126,42) :- #0.425.
link(42,130) :- #0.096.
link(130,42) :- #0.805.
link(43,55) :- #0.604.
link(55,43) :- #0.005.
link(43,56) :- #0.76.
link(56,43) :- #0.625.
link(43,60) :- #0.962.
link(60,43) :- #0.552.
link(43,70) :- #0.842.
link(70,43) :- #0.742.
link(43,75) :- #0.594.
link(75,43) :- #0.68.
link(43,83) :- #0.091.
link(83,43) :- #0.559.
link(43,98) :- #0.24.
link(98,43) :- #0.961.
link(43,107) :- #0.562.
link(107,43) :- #0.811.
link(43,113) :- #0.244.
link(113,43) :- #0.395.
link(43,119) :- #0.973.
link(119,43) :- #0.772.
link(43,126) :- #0.617.
link(126,43) :- #0.783.
link(43,129) :- #0.727.
link(129,43) :- #0.198.
link(44,60) :- #0.56.
link(60,44) :- #0.591.
link(44,72) :- #0.093.
link(72,44) :- #0.413.
link(44,87) :- #0.559.
link(87,44) :- #0.988.
link(44,88) :- #0.799.
link(88,44) :- #0.13.
link(44,92) :- #0.252.
link(92,44) :- #0.35.
link(44,102) :- #0.415.
link(102,44) :- #0.862.
link(44,116) :- #0.474.
link(116,44) :- #0.716.
link(44,120) :- #0.292.
link(120,44) :- #0.615.
link(45,57) :- #0.667.
link(57,45) :- #0.565.
link(45,60) :- #0.168.
link(60,45) :- #0.777.
link(45,66) :- #0.808.
link(66,45) :- #0.423.
link(45,74) :- #0.387.
link(74,45) :- #0.877.
link(45,79) :- #0.557.
link(79,45) :- #0.977.
link(45,82) :- #0.816.
link(82,45) :- #0.965.
link(45,101) :- #0.479.
link(101,45) :- #0.405.
link(45,128) :- #0.296.
link(128,45) :- #0.412.
link(45,130) :- #0.213.
link(130,45) :- #0.161.
link(46,48) :- #0.624.
link(48,46) :- #0.842.
link(46,56) :- #0.781.
link(56,46) :- #0.526.
link(46,81) :- #0.727.
link(81,46) :- #0.807.
link(46,86) :- #0.097.
link(86,46) :- #0.314.
link(46,91) :- #0.831.
link(91,46) :- #0.623.
link(46,99) :- #0.852.
link(99,46) :- #0.465.
link(46,111) :- #0.614.
link(111,46) :- #0.213.
link(46,119) :- #0.603.
link(119,46) :- #0.227.
link(47,53) :- #0.926.
link(53,47) :- #0.754.
link(47,66) :- #0.115.
link(66,47) :- #0.616.
link(47,70) :- #0.752.
link(70,47) :- #0.611.
link(47,76) :- #0.988.
link(76,47) :- #0.129.
link(47,92) :- #0.182.
link(92,47) :- #0.524.
link(47,94) :- #0.841.
link(94,47) :- #0.844.
link(47,104) :- #0.074.
link(104,47) :- #0.861.
link(47,118) :- #0.84.
link(118,47) :- #0.19.
link(47,127) :- #0.475.
link(127,47) :- #0.233.
link(47,130) :- #0.137.
link(130,47) :- #0.654.
link(48,50) :- #0.116.
link(50,48) :- #0.813.
link(48,52) :- #0.667.
link(52,48) :- #0.353.
link(48,64) :- #0.341.
link(64,48) :- #0.769.
link(48,66) :- #0.207.
link(66,48) :- #0.002.
link(48,80) :- #0.616.
link(80,48) :- #0.658.
link(48,81) :- #0.32.
link(81,48) :- #0.805.
link(48,106) :- #0.398.
link(106,48) :- #0.961.
link(48,113) :- #0.688.
link(113,48) :- #0.844.
link(49,52) :- #0.329.
link(52,49) :- #0.09.
link(49,56) :- #0.
link(56,49) :- #0.857.
link(49,69) :- #0.541.
link(69,49) :- #0.619.
link(49,73) :- #0.242.
link(73,49) :- #0.792.
link(49,90) :- #0.831.
link(90,49) :- #0.774.
link(49,92) :- #0.554.
link(92,49) :- #0.207.
link(49,110) :- #0.766.
link(110,49) :- #0.719.
link(49,123) :- #0.34.
link(123,49) :- #0.67.
link(50,67) :- #0.543.
link(67,50) :- #0.077.
link(50,84) :- #0.585.
link(84,50) :- #0.557.
link(50,92) :- #0.102.
link(92,50) :- #0.84.
link(50,98) :- #0.359.
link(98,50) :- #0.565.
link(50,103) :- #0.227.
link(103,50) :- #0.026.
link(50,111) :- #0.685.
link(111,50) :- #0.37.
link(50,118) :- #0.863.
link(118,50) :- #0.534.
link(50,120) :- #0.694.
link(120,50) :- #0.018.
link(50,121) :- #0.939.
link(121,50) :- #0.966.
link(51,53) :- #0.749.
link(53,51) :- #0.06.
link(51,61) :- #0.378.
link(61,51) :- #0.033.
link(51,65) :- #0.574.
link(65,51) :- #0.292.
link(51,67) :- #0.795.
link(67,51) :- #0.45.
link(51,75) :- #0.894.
link(75,51) :- #0.316.
link(51,87) :- #0.425.
link(87,51) :- #0.347.
link(51,96) :- #0.673.
link(96,51) :- #0.312.
link(51,98) :- #0.93.
link(98,51) :- #0.485.
link(51,104) :- #0.973.
link(104,51) :- #0.333.
link(51,109) :- #0.814.
link(109,51) :- #0.57.
link(51,112) :- #0.405.
link(112,51) :- #0.738.
link(51,114) :- #0.714.
link(114,51) :- #0.376.
link(51,123) :- #0.084.
link(123,51) :- #0.671.
link(51,128) :- #0.97.
link(128,51) :- #0.944.
link(52,77) :- #0.993.
link(77,52) :- #0.795.
link(52,92) :- #0.638.
link(92,52) :- #0.049.
link(52,122) :- #0.723.
link(122,52) :- #0.114.
link(52,123) :- #0.9.
link(123,52) :- #0.03.
link(53,55) :- #0.024.
link(55,53) :- #0.973.
link(53,57) :- #0.27.
link(57,53) :- #0.932.
link(53,59) :- #0.435.
link(59,53) :- #0.418.
link(53,63) :- #0.628.
link(63,53) :- #0.168.
link(53,65) :- #0.236.
link(65,53) :- #0.4.
link(53,66) :- #0.34.
link(66,53) :- #0.168.
link(53,86) :- #0.945.
link(86,53) :- #0.029.
link(53,87) :- #0.043.
link(87,53) :- #0.24.
link(53,89) :- #0.671.
link(89,53) :- #0.753.
link(53,94) :- #0.326.
link(94,53) :- #0.183.
link(53,99) :- #0.698.
link(99,53) :- #0.946.
link(53,106) :- #0.114.
link(106,53) :- #0.648.
link(53,110) :- #0.204.
link(110,53) :- #0.839.
link(54,57) :- #0.859.
link(57,54) :- #0.422.
link(54,63) :- #0.702.
link(63,54) :- #0.659.
link(54,64) :- #0.606.
link(64,54) :- #0.326.
link(54,91) :- #0.669.
link(91,54) :- #0.557.
link(54,95) :- #0.926.
link(95,54) :- #0.333.
link(54,107) :- #0.354.
link(107,54) :- #0.74.
link(54,109) :- #0.728.
link(109,54) :- #0.566.
link(54,126) :- #0.466.
link(126,54) :- #0.845.
link(55,71) :- #0.083.
link(71,55) :- #0.568.
link(55,76) :- #0.677.
link(76,55) :- #0.001.
link(55,78) :- #0.664.
link(78,55) :- #0.383.
link(55,81) :- #0.563.
link(81,55) :- #0.312.
link(55,82) :- #0.859.
link(82,55) :- #0.688.
link(55,84) :- #0.98.
link(84,55) :- #0.308.
link(55,85) :- #0.544.
link(85,55) :- #0.206.
link(55,88) :- #0.298.
link(88,55) :- #0.712.
link(55,96) :- #0.099.
link(96,55) :- #0.595.
link(55,109) :- #0.564.
link(109,55) :- #0.075.
link(55,113) :- #0.22.
link(113,55) :- #0.653.
link(55,127) :- #0.205.
link(127,55) :- #0.105.
link(56,59) :- #0.27.
link(59,56) :- #0.324.
link(56,72) :- #0.454.
link(72,56) :- #0.194.
link(56,76) :- #0.166.
link(76,56) :- #0.293.
link(56,79) :- #0.418.
link(79,56) :- #0.547.
link(56,85) :- #0.616.
link(85,56) :- #0.798.
link(56,102) :- #0.554.
link(102,56) :- #0.623.
link(56,112) :- #0.914.
link(112,56) :- #0.337.
link(56,120) :- #0.814.
link(120,56) :- #0.395.
link(56,124) :- #0.651.
link(124,56) :- #0.646.
link(56,127) :- #0.848.
link(127,56) :- #0.184.
link(57,61) :- #0.709.
link(61,57) :- #0.374.
link(57,65) :- #0.206.
link(65,57) :- #0.899.
link(57,68) :- #0.663.
link(68,57) :- #0.187.
link(57,70) :- #0.416.
link(70,57) :- #0.146.
link(57,73) :- #0.493.
link(73,57) :- #0.422.
link(57,75) :- #0.334.
link(75,57) :- #0.53.
link(57,80) :- #0.788.
link(80,57) :- #0.282.
link(57,94) :- #0.139.
link(94,57) :- #0.035.
link(57,97) :- #0.882.
link(97,57) :- #0.744.
link(57,115) :- #0.33.
link(115,57) :- #0.667.
link(57,123) :- #0.747.
link(123,57) :- #0.785.
link(57,128) :- #0.914.
link(128,57) :- #0.734.
link(58,61) :- #0.557.
link(61,58) :- #0.145.
link(58,75) :- #0.622.
link(75,58) :- #0.59.
link(58,78) :- #0.502.
link(78,58) :- #0.001.
link(58,82) :- #0.079.
link(82,58) :- #0.337.
link(58,101) :- #0.345.
link(101,58) :- #0.673.
link(58,107) :- #0.95.
link(107,58) :- #0.455.
link(58,110) :- #0.949.
link(110,58) :- #0.654.
link(58,116) :- #0.551.
link(116,58) :- #0.42.
link(58,120) :- #0.358.
link(120,58) :- #0.986.
link(58,124) :- #0.282.
link(124,58) :- #0.853.
link(58,127) :- #0.263.
link(127,58) :- #0.601.
link(59,83) :- #0.858.
link(83,59) :- #0.353.
link(59,89) :- #0.702.
link(89,59) :- #0.938.
link(59,114) :- #0.941.
link(114,59) :- #0.78.
link(59,118) :- #0.639.
link(118,59) :- #0.693.
link(59,128) :- #0.858.
link(128,59) :- #0.03.
link(60,65) :- #0.665.
link(65,60) :- #0.302.
link(60,93) :- #0.184.
link(93,60) :- #0.409.
link(60,117) :- #0.014.
link(117,60) :- #0.956.
link(60,118) :- #0.413.
link(118,60) :- #0.935.
link(60,121) :- #0.799.
link(121,60) :- #0.917.
link(61,70) :- #0.787.
link(70,61) :- #0.788.
link(61,71) :- #0.797.
link(71,61) :- #0.54.
link(61,73) :- #0.749.
link(73,61) :- #0.754.
link(61,81) :- #0.961.
link(81,61) :- #0.998.
link(61,85) :- #0.972.
link(85,61) :- #0.717.
link(61,91) :- #0.774.
link(91,61) :- #0.66.
link(61,94) :- #0.494.
link(94,61) :- #0.865.
link(61,111) :- #0.217.
link(111,61) :- #0.735.
link(61,124) :- #0.094.
link(124,61) :- #0.405.
link(61,126) :- #0.116.
link(126,61) :- #0.136.
link(62,76) :- #0.65.
link(76,62) :- #0.898.
link(62,90) :- #0.51.
link(90,62) :- #0.85.
link(62,105) :- #0.124.
link(105,62) :- #0.126.
link(63,95) :- #0.868.
link(95,63) :- #0.964.
link(63,103) :- #0.862.
link(103,63) :- #0.207.
link(63,104) :- #0.09.
link(104,63) :- #0.235.
link(63,106) :- #0.881.
link(106,63) :- #0.061.
link(63,113) :- #0.376.
link(113,63) :- #0.772.
link(63,126) :- #0.405.
link(126,63) :- #0.56.
link(64,70) :- #0.04.
link(70,64) :- #0.368.
link(64,79) :- #0.337.
link(79,64) :- #0.662.
link(64,86) :- #0.861.
link(86,64) :- #0.949.
link(64,89) :- #0.217.
link(89,64) :- #0.54.
link(64,90) :- #0.66.
link(90,64) :- #0.766.
link(64,124) :- #0.093.
link(124,64) :- #0.415.
link(65,86) :- #0.765.
link(86,65) :- #0.678.
link(65,90) :- #0.2.
link(90,65) :- #0.185.
link(65,104) :- #0.075.
link(104,65) :- #0.323.
link(65,110) :- #0.319.
link(110,65) :- #0.602.
link(65,120) :- #0.517.
link(120,65) :- #0.118.
link(65,128) :- #0.729.
link(128,65) :- #0.147.
link(65,129) :- #0.21.
link(129,65) :- #0.044.
link(66,69) :- #0.988.
link(69,66) :- #0.733.
link(66,91) :- #0.131.
link(91,66) :- #0.486.
link(66,95) :- #0.983.
link(95,66) :- #0.232.
link(66,99) :- #0.184.
link(99,66) :- #0.318.
link(66,105) :- #0.273.
link(105,66) :- #0.636.
link(66,106) :- #0.381.
link(106,66) :- #0.86.
link(66,129) :- #0.288.
link(129,66) :- #0.525.
link(67,96) :- #0.255.
link(96,67) :- #0.593.
link(67,100) :- #0.346.
link(100,67) :- #0.827.
link(67,110) :- #0.348.
link(110,67) :- #0.111.
link(67,121) :- #0.125.
link(121,67) :- #0.419.
link(67,122) :- #0.666.
link(122,67) :- #0.035.
link(68,90) :- #0.615.
link(90,68) :- #0.627.
link(68,93) :- #0.808.
link(93,68) :- #0.465.
link(68,97) :- #0.827.
link(97,68) :- #0.798.
link(68,106) :- #0.161.
link(106,68) :- #0.512.
link(68,112) :- #0.664.
link(112,68) :- #0.725.
link(68,123) :- #0.276.
link(123,68) :- #0.891.
link(68,125) :- #0.311.
link(125,68) :- #0.274.
link(68,127) :- #0.44.
link(127,68) :- #0.032.
link(69,88) :- #0.75.
link(88,69) :- #0.284.
link(69,93) :- #0.521.
link(93,69) :- #0.641.
link(69,102) :- #0.333.
link(102,69) :- #0.898.
link(69,108) :- #0.564.
link(108,69) :- #0.587.
link(69,117) :- #0.763.
link(117,69) :- #0.469.
link(70,86) :- #0.004.
link(86,70) :- #0.026.
link(70,91) :- #0.895.
link(91,70) :- #0.962.
link(70,99) :- #0.153.
link(99,70) :- #0.22.
link(70,100) :- #0.937.
link(100,70) :- #0.258.
link(70,112) :- #0.03.
link(112,70) :- #0.719.
link(70,120) :- #0.418.
link(120,70) :- #0.594.
link(70,129) :- #0.238.
link(129,70) :- #0.982.
link(71,86) :- #0.49.
link(86,71) :- #0.713.
link(71,89) :- #0.34.
link(89,71) :- #0.664.
link(71,98) :- #0.207.
link(98,71) :- #0.611.
link(71,105) :- #0.795.
link(105,71) :- #0.405.
link(71,112) :- #0.552.
link(112,71) :- #0.466.
link(71,114) :- #0.502.
link(114,71) :- #0.995.
link(71,129) :- #0.555.
link(129,71) :- #0.732.
link(72,73) :- #0.324.
link(73,72) :- #0.03.
link(72,76) :- #0.432.
link(76,72) :- #0.026.
link(72,80) :- #0.759.
link(80,72) :- #0.164.
link(72,100) :- #0.56.
link(100,72) :- #0.608.
link(72,112) :- #0.311.
link(112,72) :- #0.515.
link(72,121) :- #0.299.
link(121,72) :- #0.663.
link(72,123) :- #0.892.
link(123,72) :- #0.886.
link(73,86) :- #0.344.
link(86,73) :- #0.273.
link(73,97) :- #0.037.
link(97,73) :- #0.872.
link(73,107) :- #0.822.
link(107,73) :- #0.053.
link(73,116) :- #0.26.
link(116,73) :- #0.386.
link(73,129) :- #0.929.
link(129,73) :- #0.594.
link(74,84) :- #0.014.
link(84,74) :- #0.395.
link(74,89) :- #0.171.
link(89,74) :- #0.551.
link(74,95) :- #0.452.
link(95,74) :- #0.86.
link(74,97) :- #0.42.
link(97,74) :- #0.979.
link(74,113) :- #0.267.
link(113,74) :- #0.94.
link(74,122) :- #0.064.
link(122,74) :- #0.966.
link(74,128) :- #0.837.
link(128,74) :- #0.052.
link(75,85) :- #0.556.
link(85,75) :- #0.122.
link(75,88) :- #0.782.
link(88,75) :- #0.299.
link(75,92) :- #0.204.
link(92,75) :- #0.972.
link(75,113) :- #0.915.
link(113,75) :- #0.308.
link(75,119) :- #0.875.
link(119,75) :- #0.853.
link(76,90) :- #0.711.
link(90,76) :- #0.553.
link(76,94) :- #0.551.
link(94,76) :- #0.833.
link(76,99) :- #0.533.
link(99,76) :- #0.506.
link(76,102) :- #0.964.
link(102,76) :- #0.204.
link(76,103) :- #0.344.
link(103,76) :- #0.461.
link(76,122) :- #0.342.
link(122,76) :- #0.948.
link(76,125) :- #0.957.
link(125,76) :- #0.831.
link(76,130) :- #0.29.
link(130,76) :- #0.666.
link(77,126) :- #0.428.
link(126,77) :- #0.118.
link(78,83) :- #0.702.
link(83,78) :- #0.846.
link(78,99) :- #0.266.
link(99,78) :- #0.43.
link(78,100) :- #0.103.
link(100,78) :- #0.224.
link(78,103) :- #0.146.
link(103,78) :- #0.367.
link(78,113) :- #0.94.
link(113,78) :- #0.627.
link(79,85) :- #0.763.
link(85,79) :- #0.601.
link(79,87) :- #0.761.
link(87,79) :- #0.18.
link(79,88) :- #0.964.
link(88,79) :- #0.692.
link(79,96) :- #0.392.
link(96,79) :- #0.552.
link(79,101) :- #0.906.
link(101,79) :- #0.346.
link(79,114) :- #0.65.
link(114,79) :- #0.935.
link(79,127) :- #0.583.
link(127,79) :- #0.612.
link(79,130) :- #0.727.
link(130,79) :- #0.401.
link(80,93) :- #0.783.
link(93,80) :- #0.757.
link(80,125) :- #0.516.
link(125,80) :- #0.911.
link(81,86) :- #0.446.
link(86,81) :- #0.918.
link(81,92) :- #0.206.
link(92,81) :- #0.493.
link(81,103) :- #0.288.
link(103,81) :- #0.955.
link(81,109) :- #0.669.
link(109,81) :- #0.508.
link(81,111) :- #0.61.
link(111,81) :- #0.466.
link(81,116) :- #0.27.
link(116,81) :- #0.741.
link(82,92) :- #0.994.
link(92,82) :- #0.022.
link(82,95) :- #0.993.
link(95,82) :- #0.533.
link(82,99) :- #0.28.
link(99,82) :- #0.573.
link(82,112) :- #0.188.
link(112,82) :- #0.935.
link(82,129) :- #0.133.
link(129,82) :- #0.641.
link(83,100) :- #0.128.
link(100,83) :- #0.874.
link(83,106) :- #0.007.
link(106,83) :- #0.542.
link(83,110) :- #0.236.
link(110,83) :- #0.533.
link(83,126) :- #0.281.
link(126,83) :- #0.984.
link(84,103) :- #0.491.
link(103,84) :- #0.257.
link(84,111) :- #0.353.
link(111,84) :- #0.243.
link(84,118) :- #0.007.
link(118,84) :- #0.568.
link(84,124) :- #0.075.
link(124,84) :- #0.698.
link(85,88) :- #0.031.
link(88,85) :- #0.805.
link(85,89) :- #0.807.
link(89,85) :- #0.167.
link(85,94) :- #0.016.
link(94,85) :- #0.952.
link(85,107) :- #0.734.
link(107,85) :- #0.728.
link(85,112) :- #0.763.
link(112,85) :- #0.806.
link(85,123) :- #0.889.
link(123,85) :- #0.883.
link(85,128) :- #0.731.
link(128,85) :- #0.369.
link(86,92) :- #0.265.
link(92,86) :- #0.107.
link(86,96) :- #0.121.
link(96,86) :- #0.479.
link(86,99) :- #0.668.
link(99,86) :- #0.371.
link(87,91) :- #0.497.
link(91,87) :- #0.148.
link(87,101) :- #0.966.
link(101,87) :- #0.769.
link(88,106) :- #0.153.
link(106,88) :- #0.813.
link(88,123) :- #0.343.
link(123,88) :- #0.253.
link(88,126) :- #0.62.
link(126,88) :- #0.006.
link(89,112) :- #0.236.
link(112,89) :- #0.917.
link(89,121) :- #0.414.
link(121,89) :- #0.492.
link(90,93) :- #0.204.
link(93,90) :- #0.589.
link(90,103) :- #0.042.
link(103,90) :- #0.296.
link(91,111) :- #0.781.
link(111,91) :- #0.461.
link(91,117) :- #0.147.
link(117,91) :- #0.749.
link(91,127) :- #0.979.
link(127,91) :- #0.486.
link(91,129) :- #0.613.
link(129,91) :- #0.472.
link(92,101) :- #0.007.
link(101,92) :- #0.555.
link(92,105) :- #0.052.
link(105,92) :- #0.536.
link(92,107) :- #0.544.
link(107,92) :- #0.479.
link(92,109) :- #0.974.
link(109,92) :- #0.783.
link(92,116) :- #0.763.
link(116,92) :- #0.349.
link(92,120) :- #0.454.
link(120,92) :- #0.727.
link(92,125) :- #0.039.
link(125,92) :- #0.31.
link(92,128) :- #0.447.
link(128,92) :- #0.837.
link(93,120) :- #0.629.
link(120,93) :- #0.627.
link(93,130) :- #0.202.
link(130,93) :- #0.232.
link(94,96) :- #0.636.
link(96,94) :- #0.474.
link(94,114) :- #0.123.
link(114,94) :- #0.568.
link(94,127) :- #0.634.
link(127,94) :- #0.13.
link(95,109) :- #0.976.
link(109,95) :- #0.779.
link(95,115) :- #0.633.
link(115,95) :- #0.651.
link(95,121) :- #0.578.
link(121,95) :- #0.291.
link(95,125) :- #0.615.
link(125,95) :- #0.031.
link(95,127) :- #0.994.
link(127,95) :- #0.815.
link(95,130) :- #0.069.
link(130,95) :- #0.942.
link(96,104) :- #0.221.
link(104,96) :- #0.013.
link(96,128) :- #0.444.
link(128,96) :- #0.176.
link(97,108) :- #0.277.
link(108,97) :- #0.458.
link(97,122) :- #0.747.
link(122,97) :- #0.637.
link(98,103) :- #0.325.
link(103,98) :- #0.884.
link(99,100) :- #0.982.
link(100,99) :- #0.443.
link(99,108) :- #0.747.
link(108,99) :- #0.669.
link(99,112) :- #0.438.
link(112,99) :- #0.103.
link(99,118) :- #0.216.
link(118,99) :- #0.696.
link(99,119) :- #0.948.
link(119,99) :- #0.814.
link(99,120) :- #0.428.
link(120,99) :- #0.854.
link(100,102) :- #0.022.
link(102,100) :- #0.263.
link(100,108) :- #0.916.
link(108,100) :- #0.625.
link(100,110) :- #0.848.
link(110,100) :- #0.497.
link(100,114) :- #0.948.
link(114,100) :- #0.918.
link(100,115) :- #0.507.
link(115,100) :- #0.056.
link(100,125) :- #0.788.
link(125,100) :- #0.017.
link(100,128) :- #0.727.
link(128,100) :- #0.798.
link(100,129) :- #0.318.
link(129,100) :- #0.38.
link(101,120) :- #0.19.
link(120,101) :- #0.199.
link(101,123) :- #0.367.
link(123,101) :- #0.843.
link(102,115) :- #0.797.
link(115,102) :- #0.219.
link(103,105) :- #0.749.
link(105,103) :- #0.552.
link(103,114) :- #0.702.
link(114,103) :- #0.566.
link(103,116) :- #0.625.
link(116,103) :- #0.616.
link(103,117) :- #0.911.
link(117,103) :- #0.666.
link(103,126) :- #0.823.
link(126,103) :- #0.92.
link(103,127) :- #0.317.
link(127,103) :- #0.512.
link(104,109) :- #0.359.
link(109,104) :- #0.983.
link(105,111) :- #0.468.
link(111,105) :- #0.542.
link(105,113) :- #0.951.
link(113,105) :- #0.814.
link(105,125) :- #0.703.
link(125,105) :- #0.474.
link(105,129) :- #0.268.
link(129,105) :- #0.891.
link(106,111) :- #0.559.
link(111,106) :- #0.92.
link(106,114) :- #0.418.
link(114,106) :- #0.191.
link(106,127) :- #0.241.
link(127,106) :- #0.309.
link(106,129) :- #0.554.
link(129,106) :- #0.237.
link(107,119) :- #0.072.
link(119,107) :- #0.96.
link(107,126) :- #0.721.
link(126,107) :- #0.809.
link(107,127) :- #0.142.
link(127,107) :- #0.875.
link(107,129) :- #0.555.
link(129,107) :- #0.156.
link(108,110) :- #0.053.
link(110,108) :- #0.234.
link(108,112) :- #0.121.
link(112,108) :- #0.414.
link(108,128) :- #0.856.
link(128,108) :- #0.538.
link(109,116) :- #0.004.
link(116,109) :- #0.668.
link(110,128) :- #0.799.
link(128,110) :- #0.636.
link(111,112) :- #0.527.
link(112,111) :- #0.57.
link(111,114) :- #0.694.
link(114,111) :- #0.426.
link(112,118) :- #0.99.
link(118,112) :- #0.217.
link(113,117) :- #0.071.
link(117,113) :- #0.11.
link(113,124) :- #0.858.
link(124,113) :- #0.643.
link(114,122) :- #0.137.
link(122,114) :- #0.463.
link(115,119) :- #0.606.
link(119,115) :- #0.753.
link(116,121) :- #0.316.
link(121,116) :- #0.536.
link(116,127) :- #0.037.
link(127,116) :- #0.054.
link(117,122) :- #0.071.
link(122,117) :- #0.427.
link(118,127) :- #0.564.
link(127,118) :- #0.411.
link(120,124) :- #0.977.
link(124,120) :- #0.691.
link(120,127) :- #0.634.
link(127,120) :- #0.346.
link(120,128) :- #0.04.
link(128,120) :- #0.566.
link(121,127) :- #0.753.
link(127,121) :- #0.486.
link(122,126) :- #0.823.
link(126,122) :- #0.407.
link(123,124) :- #0.958.
link(124,123) :- #0.77.
link(123,126) :- #0.682.
link(126,123) :- #0.545.
link(124,128) :- #0.853.
link(128,124) :- #0.384.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
